|
|
Algoritmické generování estetických rytmických sekvencí
Mahnert, Jakub ; Klepárník, Petr (oponent) ; Beran, Vítězslav (vedoucí práce)
Cílem projektu je navrhnout a implementovat systém, který se snaží potvrdit, nebo vyloučit domněnku, že je možné generovat unikátní rytmické sekvence, které člověk vnímá jako estetické. V práci je potom navržen a implementován framework, umožňující tvorbu algoritmů, generujících rytmické sekvence technikou kompozice. V jeho rámci jsou potom navrženy a implementovány algoritmy, zkoumající v uživatelském testování korelaci pravidelnosti formy a vlivů náhody na výslednou míru estetičnosti sekvence.
|
|
|
Vytváření mobilních aplikací metodou reaktivního programování
Kříž, Matyáš ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Programování mobilních aplikací v systému iOS zavádí nebo doporučuje používání asynchronních volání procedur a paralelismus. Bývá obtížné v takovýchto aplikacích udržet přehled o toku událostí v programu. Zavádí se různé metodiky návrhu aplikací založených na asynchronnosti a paralelismu. Jednou z nich je tzv. reaktivní programovaní. Ve své práci se inspiruji metodikou nazývanou ReactiveX a odvozuji z ní metodiku podobnou, o níž se domnívám, že vystihuje metodiku ReactiveX v podstatných ohledech, je však jednodušší.
|
|
|
Návrh a implementace generické ústředny VoIP s využitím funkcionálního programování
Kidoň, Marek ; Ryšavý, Ondřej (oponent) ; Matoušek, Petr (vedoucí práce)
Tato práce se zabýva návrhem a implementací generické ústředny. Při implementaci byl použit jazyk Erlang, především díky jeho příznivým vlastnostem vzhledem k implementaci telefoního software. Práce také pojednává o deklarativním programování, jazyku Erlang a jeho konkrétních vlastnostech, výhodách a jeho nevýhodách. Na několika jednoduchých příkladech je pak úkázána funkčnost výsledné aplikace, která se jmenuje Genericka Ústředna. V závěru práce jsou shrnuty dosažené výsledky a návrh Generické Ústředny je porovnán s návrhem ústředny Asterisk.
|
|
|
Rámec pro tvorbu aplikací s podporou peer-to-peer spolupráce
Hrdina, Jan ; Očenášek, Pavel (oponent) ; Rychlý, Marek (vedoucí práce)
Práce se zabývá návrhem a implementací aplikačního rámce pro tvorbu kolaborativních webových editorů, které umožňují peer-to-peer spolupráci v realném čase. V práci jsou shrnuty existující přístupy pro replikaci dat, z nichž je pro další použití jako nejvhodnější vybrána implementace CRDT (conflict-free replicated data type) pro JSON od M. Kleppmanna. Pomocí výsledného rámce může být vytvářený obsah bezpečně sdílen uvnitř skupin protějšků, kde každému členovi je možné nastavit jiná oprávnění. Pro navázání spojení a komunikaci P2P jsou navrženy a implementovány vlastní komunikační protokoly postavené na WebRTC, WebSocket a WebCrypto. Rámec umožňuje řešení konfliktů a samostatnou práci i bez připojení k internetu. Pro konzistentní uživatelský zážitek je součástí knihovna s prvky uživatelského rozhraní pro správu přátel, skupin a další časté úkony. Rámec je implementován s využitím funkcionálních návrhových vzorů realizovaných v jazyce ReasonML. Funkčnost výsledku je ověřena vytvořením ukázkové aplikace editoru myšlenkových map.
|
|
|
Typed Functional Genetic Programming
Křen, Tomáš ; Pudlák, Petr (vedoucí práce) ; Kubalík, Jiří (oponent)
V této práci je představen design a implementace systému řešícího úlohu genetického programování v simply typed lambda kalkulu. Je zde představena metoda inicializace počáteční populace založená na technice produkující typované lambda termy v dlouhé normální formě. Tato metoda je parametrizována jednoduchou prohledávací strategií. Několik takových prohledávacích strategií je představeno, jako například strategie pro systematické generování nebo strategie odpovídající standardní ramped half-and- half metodě. Další z představených strategií, strategie jménem geometrická strategie je blíže podrobena experimentům, které ukáží že má několik žádoucích efektů na průběh evoluce, jakými jsou zlepšení míry úspěšnosti, nižší časové nároky a menší průměrnou velikost termů v porovnání se standardní ramped half-and-half metodou generování jedinců. Další výkonnostní zlepšení jsou navržena a podpořena experimenty, jedná se o eta-normalizaci vygenerovaných jedinců a @-tree reprezentaci jedinců. Použitý proces eliminace abstrakcí umožňuje použití jednoduchého podstromy měnícího křížení. Powered by TCPDF (www.tcpdf.org)
|
|
|
Automated GUI Generation for functional data structures
Podloucký, Martin ; Pergl, Robert (vedoucí práce) ; Hric, Jan (oponent)
Tato práce se zabývá automatickým generováním grafického uživatelského rozhraní pro funkcionální programy. Po rozboru a zhodnocení současných možností v oblasti automatického generování GUI je představen koncept takzvaného funkcionálně strukturovaného uživatelského rozhraní (FSUI). Je specifikován systém metadat pro anotaci kódu v jazyce Clojure a popsána a implementována transformace z tohoto systému do datového modelu FSUI. Poté je v jazyce Clojure implementována grafická vrstva, která zobrazuje skutečné grafické rozhraní. Funkčnost tohoto přístupu je demonstrována na případové studii.
|
|
|
Doporučovací systémy pro doménu receptů
Starýchfojtů, Josef ; Peška, Ladislav (vedoucí práce) ; Bernhauer, David (oponent)
Doporučovací systémy v dnešní době vnikají více a více do našich každodenních životů v podobě různých platforem například pro poslouchání muziky nebo sledování seriálů. Jako jejich uživatelé tak nemusíme obsah v těchto oblastech aktivně hledat, ale pouze si ho nechat pohodlně doporučit. Jednou z oblastí, která zůstává nepokryta je doména receptů. Pro uvaření receptu si ho musíme nejprve vybrat v nějaké kuchařce, jít nakoupit a až poté ho uvařit. Při tom často dochází k nesrovnalostem mezi dostupností surovin a obsahu vybraného receptu. Cílem práce je vytvoření podobné platformy pro tuto doménu. Hlavní částí je prů- zkum a uplatnění doporučovacích systémů v této doméně, návrh několika metod a jejich testování. Následně také nasazení těchto metodik do praxe pomocí mobilní aplikace, která bude sloužit jako asistent k nákupu a vybírání receptu. 1
|
|
|
Rámec pro tvorbu aplikací s podporou peer-to-peer spolupráce
Hrdina, Jan ; Očenášek, Pavel (oponent) ; Rychlý, Marek (vedoucí práce)
Práce se zabývá návrhem a implementací aplikačního rámce pro tvorbu kolaborativních webových editorů, které umožňují peer-to-peer spolupráci v realném čase. V práci jsou shrnuty existující přístupy pro replikaci dat, z nichž je pro další použití jako nejvhodnější vybrána implementace CRDT (conflict-free replicated data type) pro JSON od M. Kleppmanna. Pomocí výsledného rámce může být vytvářený obsah bezpečně sdílen uvnitř skupin protějšků, kde každému členovi je možné nastavit jiná oprávnění. Pro navázání spojení a komunikaci P2P jsou navrženy a implementovány vlastní komunikační protokoly postavené na WebRTC, WebSocket a WebCrypto. Rámec umožňuje řešení konfliktů a samostatnou práci i bez připojení k internetu. Pro konzistentní uživatelský zážitek je součástí knihovna s prvky uživatelského rozhraní pro správu přátel, skupin a další časté úkony. Rámec je implementován s využitím funkcionálních návrhových vzorů realizovaných v jazyce ReasonML. Funkčnost výsledku je ověřena vytvořením ukázkové aplikace editoru myšlenkových map.
|
|
|
Vytváření mobilních aplikací metodou reaktivního programování
Kříž, Matyáš ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Programování mobilních aplikací v systému iOS zavádí nebo doporučuje používání asynchronních volání procedur a paralelismus. Bývá obtížné v takovýchto aplikacích udržet přehled o toku událostí v programu. Zavádí se různé metodiky návrhu aplikací založených na asynchronnosti a paralelismu. Jednou z nich je tzv. reaktivní programovaní. Ve své práci se inspiruji metodikou nazývanou ReactiveX a odvozuji z ní metodiku podobnou, o níž se domnívám, že vystihuje metodiku ReactiveX v podstatných ohledech, je však jednodušší.
|
|
|
Funkcionální programování v Javě
VYSOCKÝ, Milan
Cílem této bakalářské práce je v teoretické i praktické části představit funkcionální (deklarativní) programování se všemi jeho hlavními rysy, analyzovat jeho implementaci a porovnat ho s objektově orientovaným (imperativním) programování. Teoretická část je zaměřena na funkcionální programování, kde budou objasněny jeho základní principy, realizace v Javě a důvody, proč tento druh programování vůbec vznikl. Pomocí poměrně nových rysů jazyka tzn. lambda výrazy, datovody, implicitní metody, funkční rozhraní, jejichž implementace bude mimo jiné také dopodrobna analyzovaná, budou představeny možnosti funkcionálního programování v Javě. Pomocí srovnání mezi funkcionálním programováním a programováním objektově orientovaným se zváží výhody a nevýhody jednotlivých přístupů. V praktické části bakalářské práce bude naprogramováno několik vlastních praktických řešených příkladů, na kterých je vidět použití všech výše uvedených rysů jazyka.
|
host ::
RSS.